Generalized Domain-Range Restrictions
نویسنده
چکیده
Proposing a certain notion of logical completeness as a novel quality criterion for ontologies, we identify and characterise a class of logical propositions which naturally extend domain and range restrictions commonly known from diverse ontology modelling approaches. We argue for the intuitivity of this kind of axioms and show that they fit equally well into formalisms based on rules as well as ones based on description logics. Extending the attribute exploration technique from formal concept analysis (FCA), we present an algorithm for the efficient interactive specification of all axioms of this form valid in a domain of interest. We compile some results that apply when role hierarchies and symmetric roles come into play and demonstrate the presented method in a small example.
منابع مشابه
Acquiring Generalized Domain-Range Restrictions
Proposing a certain notion of logical completeness as a novel quality criterion for ontologies, we identify and characterise a class of logical propositions which naturally extend domain and range restrictions commonly known from diverse ontology modelling approaches. We argue for the intuitivity of this kind of axioms and show that they fit equally well into formalisms based on rules as well a...
متن کاملFuzzy number-valued fuzzy relation
It is well known fact that binary relations are generalized mathematical functions. Contrary to functions from domain to range, binary relations may assign to each element of domain two or more elements of range. Some basic operations on functions such as the inverse and composition are applicable to binary relations as well. Depending on the domain or range or both are fuzzy value fuzzy set, i...
متن کاملStatistical Induction of Coupled Domain/Range Restrictions from RDF Knowledge Bases
Statistical Schema Induction can be applied on an RDF dataset to induce domain and range restrictions. We extend an existing approach that derives independent domain and range restrictions to derive coupled domain/range restrictions, which may be beneficial in the context of Natural Language Processing tasks such as Semantic Parsing and Entity Classification. We provide results from an experime...
متن کاملNumerical solution of Fredholm integral-differential equations on unbounded domain
In this study, a new and efficient approach is presented for numerical solution of Fredholm integro-differential equations (FIDEs) of the second kind on unbounded domain with degenerate kernel based on operational matrices with respect to generalized Laguerre polynomials(GLPs). Properties of these polynomials and operational matrices of integration, differentiation are introduced and are ultili...
متن کاملFundamental Solutions of Dynamic Poroelasticity and Generalized Termoelasticity
Fundamental solutions of dynamic poroelasticity and generalized thermoelasticity are derived in the Laplace transform domain. For poroelasticity, these solutions define the solid displacement field and the fluid pressure in fluid-saturated media due to a point force in the solid and an injection of fluid in the pores. In addition, approximate fundamental solutions for short times are derived by...
متن کامل